#lang rosetta-racket


(require "vault-truss.rkt")

(provide vault-truss-1-example
         vault-truss-2-example
         vault-truss-3-example)


(define (vault-truss-1-example)
  (view
   (xyz 73.43434930425222 23.047457396558205 51.776582386199316)
   (xyz 0.9493724777666931 1.5052321969245355 4.070199852651115)
   (perspective 197)
   (flatten (vault-truss u0 10 9 2.0 10 3))))

(define (vault-truss-2-example)
  (view
   (xyz 59.05091163342403 59.20648377816403 61.49271260803572)
   (xyz 0.7756852412033209 0.9312573859433322 3.2174862158150783)
   (perspective 197)
   (flatten (vault-truss u0 10 9 2.0 10 6))))

(define (vault-truss-3-example)
  (view
   (xyz 60.28383455798664 60.22004183185799 62.615953097163896)
   (xyz 0.8853676766375772 0.8215749505090757 3.2174862158150783)
   (perspective 197)
   (flatten (vault-truss u0 10 9 2.0 10 9))))